actually remove files mentioned in previous two commits