[Git][cmucl/cmucl][master] More pot file updates on linux.