Correcting extconf.rb