Fix issue #1: Make it compile under Travis