How do you get miktex on it as it is not for linux to begin with.<br>