Migrated submodules (this is ugly, but has to be done for Luarocks).