ensure a single core is used in c backend