K 10 svn:author V 6 gerald K 8 svn:date V 27 2018-02-08T22:14:31.223907Z K 7 svn:log V 86 Use USE_GCC=6+ instead of the non-standard (and actually not supported) USE_GCC=6.0+. END