THANKS

   1 At least the following have submitted valuable patches:
   2
   3 Jeff Johnson            building. rpm wrestling
   4 Alexander Larsson       separate debug info
   5 Jakub Jelinek           bug fixes, testing
   6 Denys Vlasenko          bug fuxes