Include dist in reduced test case