On 2019-11-18 11:05, Linsenmaier Dierk wrote: > I have problems compiling mapserver7.4.2 with php7.3 in debian buster. Why don't you use the package from buster-backports? https://tracker.debian.org/pkg/mapserver Kind Regards, Bas