mu-mmint: Fix build error due to previous commit