Another approach to fix Travis...