Moving this up makes complete sense. Now that I think of it, it seems like this would fit in even more naturally between where we set the default variables and where we check/set up JAVA_HOME, and then we can pull out "`pwd`/../.." and set it up as SHARK_PROJ_DIR_DEFAULT and it to the usage string where we print the default values we use. I should probably have done this from the beginning, since it's a (needlessly) secret configuration option as we have it right now. Mind doing this?