Workaround for docker hub build issues