Fix the Travis-CI build process; disable test