Make sure the pixie is installed setuid-root (workaround for an Automake