toolbox: Fix on Linux