Bump Geppetto version to 4.0.0