Send SIGINT instead of HUP to kill processes
Use Thin ssl and apply other fixes from casa.m.ucla.edu