Use julia instead of julia-basic to run doctest