Make status file name consistent between .travis.yml and uml.sh