Make it possible to override which info-file to use