Remove obsolete compilation instructions