Linux launcher for dev tools.