Raspberry Pi port, piCore-15.0 is available!
Yes I know and that's my problem.
Could it be that it is being discarded by windows manager after it has used it?