Add required php 5.4.14 extensions