Fix build in Ubuntu disco (bash issue)
Fix build in Ubuntu disco (bash issue)

It seems that pipe-reading from `find  ... ` behaves differently in Ubuntu disco: new files created after reading from its output are detected by find (i.e. it really behaves asynchronously?), so a solution is using a temporary file instead of a pipe.
MRPT/mrpt,MRPT/mrpt,MRPT/mrpt,MRPT/mrpt,MRPT/mrpt