remove bad file, commited by mistake to main git repository