dumb bugfix in sipb-xen-dev.init