make ec_file a bit more friendly to binary file names