add missing file for redistribution