Rename a file to fix debian build