Verify Fiasco assertion using pingpong

[eschierb at sci.kun.nl]

Quoting Martin Pohlack <mp26 at os.inf.tu-dresden.de>:

> eschierb at sci.kun.nl wrote:
>
> [...]
>
>> "/bin/bash: did_not_find_dice___please_install_dice: command not found"
>
> Did you build Dice?  It got moved recently in the SVN from l4/tools/dice
> to tools/dice.  I think you have to build it manually.
>
> Cheers,
> Martin
>

I believe I did, by invoking the following commands:

"
cd dice
./bootstrap
./configure
./make
"