Merge remote-tracking branch 'jlledom/hurd-fix-dev-aux'