Misc tweaks of MCLauncher class