ubuntu1310 gcc 4.8.1
Merge branch 'master' into ubuntu1310-x64
Merge branch 'master' into ubuntu1310-x64
Merge pull request #1139 from VoltDB/ubuntu1310-x64

ubuntu1310 gcc 4.8.1