re #91: Add .php extensions to the cache files