Modifying the php extensions to be loaded from php/ext directory