removing this file (which is not needed in git)