Simon Marlow wrote:

...

What's wrong with just saying -I<dir> whenever you say -i<dir>?

This seems to work but for more complicated combinations the two options have slightly different formats. For example, if I have several directories separated by colons, and end the list with a superfluous colon (which arises naturally enough when the path is auto-computed) I get messages like:

Ok, that's a bug. In the meantime, you'll have to remove the trailing colon. Cheers, Simon