Allow changing default options with options.php