Migrated to flycheck