Fix up path to abstractions from other people