Handle ctrl special case explicitly in bind().
#2436
| Job | Run time |
|---|---|
| 13m 34s | |
| 12m 46s | |
| 12m 50s | |
| 11m 6s | |
| 13m 51s | |
| 13m 1s | |
| 13m 22s | |
| 13m 45s | |
| 14m 8s | |
| 19m 51s | |
| 13m 44s | |
| 2h 31m 58s |