travis-ci: try ps -efl instead