Re: tilt-3.4 compilation broken