Make irony-mode work nicely