Small changes

Add OS identifier for CentOS.