Use the proper filename for properties.aug