r15873: Use short signal names to placate ksh trap. bash seems to accept either