Remove unneeded lint option