Fix user type attribute setting bug. Thanks Mike.
For Travis CI - switch CI build to use OS X build environment.