mai lin compilation