workaround to get boot2docker working