kill: implement short signals (fixes #242) and bug fixes