Add CMD php -a; replace awk with magic bash

Not really magic, just simpler than awk.