mangle/unmangle property names