Some minor config changes

Also, I think that sharing Dropbox between Windows and Ubuntu has
done something crazy to all of the file attributes. Please ignore.