Fixing travis definition file