Updates for latest boot2docker setup