Fix device listing on Linux