Possible Travis build fix