Changed awk to sed for debian/ubuntu systems