revise based on debugging on Linux

- FIX : fix a bug in reading vector