Small fix for building on linux

Just a fix you showed me some months ago