fix for PHP 5.3.1
let's try adding the AnnotationRegistry