Fix: the filename was not correct
Updating compiled sources