Workaround fix for acorn mutex printing for now