Explicitly specifying source file encoding