raise timeout for symexe