Actually add linux binary, tweak travis script a little.