Travis should build 4.0 branch for now