Fix the launcher script for Fedora