rename submodule to stay in conformity with Debian