xorg-video-tdfx: fix build with latest xorg-server