lib/php/ -> src/php/