flycheck seems to work fine