command line option to use the system theme if one exists