scafacos_test: workaround for ICC bug