Redefined @time to be disabled when running non-interactively (for travis)