Correct some Mara sources for Linux builds