fix package definitions for php extensions