venti: work around gcc 4.3 bug (reported by Lucho Ionkov)
1 file changed