Use fputs() instead of fprintf() as there's no format string.
Use fputs() instead of fprintf() as there's no format string.

franz/pocl,pocl/pocl,Oblomov/pocl,dsandersimgtec/pocl,rjodin/pocl,franz/pocl,0charleschen0/pocl,dsandersimgtec/pocl,franz/pocl,pocl/pocl,maZZZu/pocl,dsandersimgtec/pocl,jrprice/pocl,Oblomov/pocl,hugwijst/pocl,rjodin/pocl,0charleschen0/pocl,0charleschen0/pocl,pocl/pocl,pavanky/pocl,jrprice/pocl,vkorhonen/pocl,maZZZu/pocl,maZZZu/pocl,vkorhonen/pocl,sting47/pocl,sting47/pocl,jrprice/pocl,jrprice/pocl,Oblomov/pocl,pavanky/pocl,Oblomov/pocl,dsandersimgtec/pocl,pocl/pocl,pavanky/pocl,vkorhonen/pocl,vkorhonen/pocl,hugwijst/pocl,pocl/pocl,sting47/pocl,franz/pocl,sting47/pocl,pavanky/pocl,hugwijst/pocl,hugwijst/pocl,0charleschen0/pocl,hugwijst/pocl,Oblomov/pocl,franz/pocl,rjodin/pocl,maZZZu/pocl,rjodin/pocl,sting47/pocl