get rid of binaries (again!)