Fixing GCC warnings found in https://travis-ci.org/Ravenbrook/mps-temporary/jobs/17977403