added missing extra dist target