문제를 보면 fprintf 의 stream 으로 /dev/null 이 들어가기 때문에 직접적인 출력이 안되는 것입니다.
gdb를 이용해서 이를 stdout 으로 바꿔주면 출력이 됩니다.

이 방법 이용하시면 도움이 될 것 같습니다.