Hm, looks like Travis CI corrupts the output. Trying printf()