PHP 5.5 doesn't want us to use the class name "Generator"

Fixes #473