Renamed a file for submodules; part of #254.