populate GL extensions on linux too :)