Provide the necessary hints for gcc -Wformat to work on our printf-like