Updated documentation of the compilation procedure