mutex in thread main

[Thierry Delisle]

The main of a (mutex) thread should require the keyword mutex on its parameter.

However, no code should be genereted for this since it's handled in invoke main