Compiling UCTProducer pumult.h