A launcher script for Linux