fix Travis-CI build

fixes #2