fixes #47: just use NSLog() here