Added support for quick-check-mtime
When we need to re-solve, make sure the Python does so