It is necessary to export OBJTOP when it is being used
by MAKEOBJDIR, otherwise we get invalid expansions which
lead to attempts to use directories like /bin /etc /lib as .OBJDIR
Since OBJTOP may have variables like ${MACHINE} we need to export
it in such a manner that these will be correctly evaluated, so
like MAKEOBJDIR double the $'s and use .export-env OBJTOP before
evaluating it for use.