Fix segmentation fault in os/user