Rename auxlib.h to asg1/auxlib.h