lib_ini is a dumb name. Also, get rid of os.h