Fix: the filename conflict of `launcher.jar'.