added a missing file and removed cout