path = path.replace('$(InputExt)',
                      os.path.splitext(os.path.split(input_file)[1])[1])