obsolete old php name in -devel