Added NOPASTIX option to make