Fix read() on empty files