Add a comment that explains the issue with -DGCC_INSTALL_PREFIX