Workaround for git repository.