Prune obsolete import; #983

The need for this went away in f4be90f3c.