fix hello on 32bit