Tobias Burnus wrote: > Build and regtested on x86-64-gnu-linux. I intent to commit the patch > soon. Committed as Rev. 198623 + merged trunk into the branch (Rev. 198624). Tobias