$ 0 0 Unfortunately, no, I didn't find a solution. I ended up using a different machine with a different processor.