Maintain /tmp/cache through pushes

We use file based caching, this will make pushes faster.