stone-soup: fix build on 10.9