gnu: godot: Add a file extension to source file name.