Renames -mps option to -pps