destroy() is a headless-gl-only thing (fixes #897)