fixing several issues with docker env

also on a9ffe746542c26f59f3fa49734ad1a7bbe0929b2 (PR #6)