Hopefully fix Travis-CI