give binary proper file extension