fix #3918: remove GCC from navigation