RE: HEAD build fails on compiling haddoc