Fixes issue #5189.
It should be up to the user if they want to print the new time out or not. Fixes issue #3766.
This is to keep the top-level directory clean, to make it clear what is core and what is a port, and to allow the repository to grow with new ports in a sustainable way.