Fix small build errors seen on Rocks; lua-mpi had a typo