implementing doxygen, restart with 64-bit