python: Prune CLEANFILES.