Fixes after first install of new dev-box