cleared out an (old) obsolete include