A temporary Docker workaround