Fix build for GNU/Linux