ENVY-5: fix docker script