What is a binary file in linux