Bugfix: syscall_coverage.cpp attribute error which caused a compilation error

15 jobs for marc/234-tests-compilation-fails-for-syscall_coverage-cpp in 14 minutes and 33 seconds (queued for 5 seconds)