If options.php does not exist just copy it for the user.