WP-2715: change file extension.