Also, I wonder if we can read this from the properties file in sbt-rc..... probably not since it's needed in settings....