fixing linux make files