messing around with python signal handling