Fix wrong usage of getline(). Prefer eix::format over printf