A test to see whether lib32stdc++6 is really necessary for Travis