Minor performance tweak to PHPTemp and DiscISAM caching