Added the aiger folder to prevent errors in putc in aiger.o