but still, boot2docker is linux vs osx