Add php debugger; mario sounds