Checking file extension in main
0.5.2