remove phpdox from default build for now