When I use GHC 7.0.2 instead of GHC 7.0.3  the problem with "double-conversion / stdc++" on my Linux disappears.

Hartmut