Fix ramcloud problems

Signed-off-by: Haomai Wang <haomaiwang@gmail.com>