remove some old sources and a binary file