Update Makefile to change from DEA to PSMC
Change launcher name from psmc_check_xija to not collide with old checker