tinygl bug