Bugfix: forgot to update stripping target filename