===> Cleaning for prboom-2.5.0