Added a Travis-CI job definition
Minor fixes in the darwin code