Added note about usual default prefix under Linux (thanks to Peter Funk
for the idea).
1 file changed