Fixed calls of mk-linear-fenv (was previously called linear-fenv, and some calls still used old name)