This will maybe fix the coveralls stuff.

Signed-off-by: Markus Hubig <mhubig@gmail.com>