More options in minttyrc