do not use the 'user' namespace as it seems to corrupt compiling