added size for phpextensions, close #276