Use explicit /usr/bin/time instead of time in Compiler.