* Makefile.linux : fix checks