Correct data type for spawn object counting variable.
For Travis CI - switch CI build to use OS X build environment.