README: update synthesis instructions