Overriding DEPOT_PATH in JuliaPro 1.x

Hi folks,

with the standard Julia installation (from julialiang.org), I can set JULIA_DEPOT_PATH in the environment, the REPL picks it up and puts it in DEPOT_PATH and packages are installed/compiled to the right place. With JuliaPro, it seems to be prepending “~/.juliapro” to DEPOT_PATH when launching the REPL, with my path always coming second. I was wondering what the proper way is to override this? Thanks,