gh-pages: update compilation instructions