Userland binaries - How was redis and nginx compiled?

[h4sh5]

Hi, I am trying to port some userland applications to biscuit. How did you compile and test redis and nginx?

Also, why is USERMIN so high? Why not something like 0x400000 which makes it closer to compatible with Linux static binaries?