Otherwise our devel branch does not build reproducibly anymore:
POT-​Creation-​Date changes depending on build time.