Change Thumbnail quality in wp2.5

Hi, I’ve been playing with the new 2.5rc1 release and while there is now a setting to change the thumbnail size the quality setting is still missing.

The wp-admin/includes/image.php is different from the 2.3 version, and is missing the line

elseif ( $type[2] == 2 ) {
if (!imagejpeg( $thumbnail, $thumbpath, 95 )

I’ve found a similar line in 2.5 , but that wields no results.

return apply_filters( 'wp_create_thumbnail', $thumbpath, 95 );

Thanks for your help in advance!