Actually push flycheck code