[RFC PATCH 4/9] make_fit_atf.py: produce working binaries by default