Moved sigtrap frome w11/extra to extra.