ASLR behaves differently on different platforms; try to maximize our chances of benefiting from it