Check arguments, adjust Travis config