fixes for weakly-coherent machines, like alpha (thanks to Helge Bahmann)