Delete std_lib_facilities.h