add support for debian php versioning

This does not solve yet #3335