php: add --with debug option for debug build