Issue #3: integrated with travis ci