Make sure 1.3.0 can be built from build/