make_single    &&
sed -i 's,LATEX=.*$,LATEX=no,' configure &&
default_build  &&
make_normal
