Not the best place for user-env-compile teaching