we need debugging stdout