Fix a build failure on mips64el