Fix Travis CI build

Aims to fix #23.