Manually add some symbols from newer GDK releases