Ok. Add one more change to ensure that the color theme is installed correctly upon initial startup. And remove server-start because I don't actually use that and it causes problems on Windows involving directory ownership. :/