Additional attribute for php's ext_conf_dir, fixes #56