hack to make git not see modifications to dist files