Expansion of tilde for users home directory in prefs is broken on Mac

[Stephan Witt]

Hi Scott,

it looks like your change c659fd4f742763331a5d1e1d3220fb1a615ef845 
removed the tilde expansion of path names from preference files.

Isn’t this a problem on Linux too?

Stephan