changes for building latest boot2docker.iso