The line in docs/conf.py with the release/version number was recently
changed and this patch makes the makeversionhdr.py script work again.