added missing users.hrl from main repo