more tweaking

make distcheck runs fine now with php enabled