No matches were found for subject:"Bug#508963\: outputs \/dev\/stdin\: no read permission when input is an empty pipe"