HomeFreeBSD

benchmarks/super-smack: fix build for GCC and DF (taken from dports)