Move the paragraph about compilation to the installation section.