Hotfix for linux packaging