For VMS, implement the possibility to choose 64-bit pointers with