Yet another attempt to fix Travis builds