Allow empty --with-platform
Calling glxwInit more than once is a no-op.