fix pkg-config problem found under Ubuntu 20.04

Edited by Andrei Pavel

Merge request reports