Last tweak to the build system

    The dependency informations were fairly out-of-date, preventing the
    project from building when using make's -j option.

Sorry about this second pull request, I really thought this commit had made it into the first one…