FIX travis CI configuration