I think it might just be a matter of us having the wrong version of the TP 4 SDK. I have obtained a new one from Cebas and will try that out.
Thanks for the excellent bug report. It helped me find the bug in Krakatoa which will be fixed for the next build.