renamed extensions to .pxi