Merged some final fixes (r990398,990404) of the binary distribution to the 1.5 branch.
1 file changed