fixed several issues with Rust 0.10-pre.

- builds with rlibs by default, no more DLL dependency in Windows.
- fixed the incorrect handling of file extensions.
- ui/selecting: worker tasks do not cause the fatal error when
  the parent task chose to ignore the results from those tasks.
- some recent language changes.