Fix termination output on GCC