Checking whether our Linux builds are still 'broken' on Travis-CI.