Understanding Linux name resolution