SDKManager support for Ubuntu 20.04 host?

There is a workaround for now. It worked without any problems for me.