I appear to have found an answer - Record sound with ADC DMA: Compiler crashes
As well as changing OS versions I had moved from Workbench to WebIDE because of the former’s slow compile speed on a fast PC. It seems I have to move back to Workbench. Thanks to @ak71vie for a good guide.