Fixing and adding Linux scripts to verify mutex safe synchronization!