Shortened main tex filename