I think that the counting hello world program works again now. I must have committed broken code before...