I forgot, do we set all other paths in texttt or do we set paths normally..?