Hi, I finally managed to set up the new GCC 3.3 x-compiler but now I want to use the GP32SDK. How can I use it?