Hotfix: remove extra file