Fix ctrl-c
Send warnings and errors to stderr
Helper
Fix license headers