mjScenes now have proper names as const char*