Fix build on travis

"trap: SIGINT: bad trap"