The correct way to compile a multiple files C program: separate compilation