hiding tautology tree on mobile and adding precompiled assets