fix gcc-4.6 errors for in soc_restart