Doxygen: fix build on SmartOS