enabling sancov tests on linux x86_64 only