Minor cleanup -- print a newline when ctrl-c is caught to keep terminal clean