fixes for boot2docker