issue #776: update compilation instructions