1. Use strtoX instead of stringstream in stringToInteger since it
   is about 20x faster.
2. Fix scons .