it seems that detection via php-config just won't work