K 10
svn:author
V 4
bapt
K 8
svn:date
V 27
2014-03-12T17:45:48.408689Z
K 7
svn:log
V 73
Now that default gcc is 4.7 switch back to USE_GCC=yes where appropriate

END