deleted files which are not needed anymore (#16)