Adjust code to rename of spyalg to prx.