Norbert Kiesel wrote:
For me it happened with 5.1.2 on 32bit Ubuntu as well. So if 5.1.2 really runs fast under 32bit XP, it's OS-dependent at least.
Tried again: yes, it runs fast on mine with 5.1.2. Enrico