That's a good point...  that would be consistent with PHP's clearstatcache.