worked for me too. Now a successful start of our windows menu gets a splash screen, and an unsuccessful start gets a laurel and hardy gif ...