I am using MiKTeX on a MacBook Pro for several years, with no problems. A colleague is using TexWorks on a PC (Win10) and they cannot compile the pdf files from the tex fil