Fixing Travis configuration