Travis-CI configuration should be OK now.