gitignore for gengetopt output
force boolean use of isinf()