Minor fixes to make the configure script work (and the following build too) on a Debian GNU/Linux 4.0 system.
Authored by: gavare 2019-06-06
Parent: [r6]
Child: [r8]