Rename prag to prag.m