compatibility with MiKTeX