[megagol-autorun] change bathy for gint; fix a mistake in the envelope