Fri, 20 Jul 2012 15:57:02 +0100 Mario de Sousa Fix comment (bug found by Manuele).
Fri, 20 Jul 2012 15:53:58 +0100 Mario de Sousa Remove warning about redefining "__STDC_LIMIT_MACROS" (bug found by Manuele).