this should fix Travis-CI