Fix docker image used for official builds from Debian to Ubuntu (#4830)
Fix docker image used for official builds from Debian to Ubuntu (#4830)


gregkalapos/corert,gregkalapos/corert,gregkalapos/corert,gregkalapos/corert