ref #9894: remove strange import