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