Flycheck requires the info file to be built again