concrete syntax: add missing file.