minor: removing stale file