Make Packer docker_repo vary by OS