Fix for new version flycheck