Rename laba1txt to laba1.txt