Correct the instructions for compilation