Use int_vector_buffer for wt_int construction

also fixed a bug in ram_filebuf (should fix issue #140)