===> Cleaning for devilutonx-0.4.0