Wed, 26 Dec 2018 12:39:41 +0000 Mario de Sousa remove debugging printf() introduced in previous commits