Delete std.tex