Install libgtkhtml by running the following commands: ./configure --prefix=`pkg-config --variable=prefix ORBit-2.0` && make && make install