- updated to 0.12pre6
- added gc patch (fixes build with CONFIG_GC and recent gcc)
- verbose build by default