remove now-useless include