Added missing file: fixed #438