Update compilation instructions and make them more compact