Fix stack analysis on 64bits