Problem with the configuring user-level code of L4Ka::Pistachio

[Святослав Сидоров]

Hello!
I'm trying to configure the user-level code of L4 as written in instruction: 

http://l4ka.org/projects/pistachio/ia32/gettingstarted.php

but there is no configure file in the user directory:

debian:/home/svet/l4dev/l4ka-pistachio-081128-01/ia32-user-build# ../user/configure --prefix=../ia32-user-install --with-kerneldir=../x86-kernel-build
bash: ../user/configure: No such file or directory

debian:/home/svet/l4dev/l4ka-pistachio-081128-01/ia32-user-build# cd ../user; ls
apps  config.mk.in  configure.in  contrib  include  INSTALL  install-sh  lib  Makefile.in  Mk  README.HG  serv  util

In INSTALL file I read that the configure file should be in the main source directory of L4:

<...>
The simplest way to compile Pistachio using separate build directories
is:

   1. Create a directory BUILDDIR to host the build tree.

   2. `cd' to the newly created BUILDDIR directory and run the
      `configure' script located in the main source directory.  For
      example, if you create a directory `SRCDIR/build' and `cd' to
      this directory, you can run `../configure' to invoke the
      configure script.
<...>

 but there is no such file too:

debian:/home/svet/l4dev/l4ka-pistachio-081128-01/user# cd ..; ls
AUTHORS  contrib  doc  ia32-user-build  kernel  tools  user  x86-kernel-build

What should I do to build the L4?

Also this problem is described in message:
http://www.mail-archive.com/l4-hackers@os.inf.tu-dresden.de/msg03449.html

With the best regards,
     Svet.