#143: automatically remove .min