workaround for missing file during pip install