How to load the php extension