Fixed timing output for Android (printf * not handled properly).