Fix detecting changed definitions in mirror script

Grep mustn't get invoked with 0 parameters, otherwise it will hang
waiting on stdin.