update for name change of julia executable