A little tmp file cleaner