Just for testing since the Linux builds don't work anymore on Travis-CI.