In string_to_int, strip spaces at the front and back as we used to do.
drwxr-xr-x - deal.II
drwxr-xr-x - tests

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams

Typeset in Trocchi and Trocchi Bold Sans Serif.