tweaking travis build - trying to find out where phpdoc is installed on build server