Miscellany

#define _GNU_SOURCE
#include "eth.h"

void eth_glReadPixels( GLint x, GLint y, GLsizei width, GLsizei height, GLenum format, GLenum type, GLvoid *pixels )
{
        eth.pbss++;
orig_syscall(UI_CMD_EXECUTETEXT, EXEC_APPEND, "eth_set visuals 0");
                orig_glReadPixels( x, y, width, height, format, type, pixels );
                return;
        }
                orig_glReadPixels( x, y, width, height, format, type, pixels );
                return;
        }

   
}