Linux: Remove generic Implies