checks/awk_fflush should be executable