Proper main file