===> Cleaning for supertux-0.7.0