Hopefully integrating with travis and coveralls