Was already broken, not sure for how long. Without this the tool fails to run, so help2man ends up producing an empty file.