Rename sec_1.5.1.c to sec_1_5_1.c