File not deleted:    "docs/users_guide/ghc_config.pyc"
File not deleted:    "libraries/time/lib/include/HsTimeConfig.h"