Hotfix: no debug info