use correct options for phpdoc2