Merge pull request #53 from hintjens/master

Minor regenerations
Add missing include
Merge pull request #54 from twhittock/master

Add missing include