xorg-server does not build on avr32