reassign 572067 libdrm-dev thanks The linux kernel is source of the drm headers in the meantime. Bastian -- I have never understood the female capacity to avoid a direct answer to any question. -- Spock, "This Side of Paradise", stardate 3417.3