Use submoduled shell-proxy if it's available