Store file mtimes in spk because some programs care about it -- e.g. Python will not use a .pyc if it is older than the corresponding .py.