Delete mario_theme.txt