Download binary file, file_4k