Fixes for 64-bit linux host.
...
20140411
minimal fixes
...
...