Add special treatment for MiKTeX