make dump slightly more portable