Always remove revision.tmp