fix travis (I'm still sure it compiled earlier...:( )