changed Realimaze/Realimaze.opensdf to *.opensdf