Very minor pmartel feedback.
Merge pull request #620 from VoltDB/boost153

Very minor pmartel feedback. Ignore this.
Merge remote-tracking branch 'origin/master' into catalog-report-hugg
Fix broken build on linux.