Delete std.h