#4092 less agresive navtoolcache flush