Fix wrong github link for mga 4 Dockerfile URL.