FIX: issue #413 (Incorrect compilation time reporting)