Fix for CNK

Both HelloWorld and HelloEbb work on CNK now