bump smaccmpilot: for cbmc build on jenkins.