add php extension build