Orbit file generation: mixup of txt and ps extensions