K 10
svn:author
V 6
davide
K 8
svn:date
V 27
2013-02-19T16:43:48.890381Z
K 7
svn:log
V 73
Fixup r246916 in case gcc is used to build.

Reported by:	attilio, simon

END