Re: pigeonhole-0.5.16 compilation error?