Deprecated post_permalink still used in 0.9.5

You are still using the deprecated post_permalink in the new release in Util_PageUrls.php which issues lots of warnings.

Line 94 is:

$post_link = post_permalink( $post_id );

and should be:

$post_link = get_permalink( $post_id );