change targets.cpp to support int64