removed --timings from make check, added a check with timings option