php 5.4, extension rewrites