another attempt to fix travis manifest