minor fix to compilation instructions