Temporary fix, writing to stdout directly