[windows] eep!  double file extension