numerical: remove time command from 'make run'