Switch extension

Switch the example file from old format to new one.