libxfcegui4 works