After cloning the repository, one should write the following commands: ``` git submodule init git submodule update make ``` Is that correct? (I don't know because there are no instructions)