HttpString: temporarily hack around path encoding issues