Makefile uses time command when executing commands.