Try to fix Travis-CI build