Tweak compilation instructions in the readme