Apparently without this file, we won't be able to compile due to missing includes to TimeManagement and KBufferBuilder.