clearer binary filenames