Binary file extension in linux