Delete Stump_sign_extender.v