Bugfix: broken build for missing file.