info2_pr3_doble/makefile_linux.variables