Trying to remove pathdef.m for GIT