fix compilation instructions