fix 'make distrib'
1 file changed