bugfix for LDV profiling on 64-bit platforms