Re: [Hackage] #577: an executable and library differing in capitalization use the same build dir on case-insensitive filesystems