always use binary file format