Fix version # for happy Travis