Better linux/boot2docker section.