fix location of extra directory under Linux