change php extensions to the php 5.4 packages