Fix for wonky device-wide module name in Doxygen