tweaks to make lem files build with latest lem