Fixed bug with ASMLauncher, where a previous launch configuration with a
matching filename would launch instead of the intended one.