Fix post.rb permalink stuff in light of merge of #2925.