`time` command not available on OSS travis. what?!