More effective implementation of dir-empty?