Fix navigation to header files issue #8