mark putenvf with printf attributes