Raspberry Pi port, piCore-15.0 is available!
I had the same problem and I solved removing and reinstalling the extension