A small fix for doxygen
Correctness: Use 64 bit version of library if needed