Fix build with gmake-4.0.