remove useless redirection file standard.h