bump smaccmpilot (fixed cbmc, better platforms)