Add PHP5.4's insteadof