revert https://github.com/SpiNNakerManchester/SupportScripts/pull/87 when 3.13.8 comes out or report out issue