Do not mangle RootbeerGpu.threadfenceSystem()