Fix for ubuntu1310
Merge pull request #1211 from VoltDB/fix-ubuntu1310-gcc481

Fix for ubuntu1310