Delete redirection.h