fixing problems reported by LINT #4720

Job	Run time
testinstall - - ubuntu-latest	5m 6s
teststandard - - ubuntu-latest	32m 18s
testmanuals - - ubuntu-latest	6m 39s
testexpect testmockpkg testspecial test-compile testlibgap testkernel - - ubuntu-latest	4m 16s
testpackages testinstall-loadall - - ubuntu-latest	21m 10s
makemanuals testmakeinstall - GAPPREFIX=/tmp/gapprefix CONFIGFLAGS="--prefix=/tmp/gapprefix" NO_COVERAGE=1 - ubuntu-latest	6m 1s
teststandard - ABI=32 CONFIGFLAGS="" - ubuntu-20.04	27m 45s
testinstall - HPCGAP=yes ABI=64 - ubuntu-latest	8m 28s
testmockpkg testinstall - BOOTSTRAP_MINIMAL=yes - macos-latest	7m 20s
testbugfix - CONFIGFLAGS="--enable-memory-checking" - ubuntu-latest	24m 25s
testbuildsys testmockpkg testinstall - NO_COVERAGE=1 ABI=64 BUILDDIR=out-of-tree CONFIGFLAGS="--enable-valgrind" - ubuntu-latest	4m 20s
testbuildsys testmockpkg testinstall - NO_COVERAGE=1 ABI=32 BUILDDIR=out-of-tree CONFIGFLAGS="" - ubuntu-20.04	3m 59s
testinstall - JULIA=yes CONFIGFLAGS="--enable-debug --disable-Werror" - ubuntu-20.04	6m 1s
testmockpkg testinstall - - windows-2019	16m 23s
Send Slack notification on status change	5s
	2h 54m 16s

Provide feedback