At Tom Womack's request, a trivial option to use mtimes instead of