minor modif in makefile x86