fixes #4483 extension properties or html5 in the filename are not served