fix one of user lib tests to work in linux