dist files for issue #67