Fixed issue #116 - doxygen docs don't build on case sensitive systems