add php55 config options