Make mutex mutable for empty() and copy ctr