Update generated files in lib/ and demo/ corresponding to pull request #9.