fixes gen_binary_files.cpp
fixes make distcheck