Random bits

I’m not sure why the install script could not create the correct configuration file, but not too hard to do it myself.