HomeIsabelle/Phabricator

Fix build for module after change to file name for DATE signature.