Log Message:
Revert yesterdays commit of setting the default to 3.4.2;  apparently
things are more complex than they seem, so until we've figured out how to
do this properly go back to what used to work (ie default back to 5.0.1)
Problems pointed out by tron@ and abs@.