allow configure-phase ctrl-c to work correctly