set up simpler switching of julia version