  ./configure  --with-x10port=/dev/$SERIAL      \
               --prefix=/usr                    \
	       $OPTS				&&
  make
