fixes for weakly-coherent machines, like alpha (thanks to Helge Bahmann)
tree58bced747c5f19f8fa4a9fd961bc80d5f7638fb3
-rw-r--r-- 67 .gitignore
drwxr-xr-x - boost
drwxr-xr-x - libs