For envpuppet to work properly