try specifing some paths explicitly to avoid source-not-available error on coveralls