These files don't get tidied up after themselves...