Try to do a proper linux build on Travis CI