add prmask.cc to lib