Add files copied from Python source