Add ability to change file extension inside config.php, issue #10 related.