Do not feed the file modtime to the file id algo
Make it possible to open gzipped pdf files directly