properties-file for consistency with other options