Include options.php