openen met gedit en zorgen dat je de rechten hebt om het bestand uit te voeren. anders moet je hem openen met de terminal door eerst te cd-en naar de map waar het bestand staat, vervolgens voer je het uit met ./bestandsnaam.bin (vergeet niet de juiste bestandsnaam in te voeren)