Made clear that the path in the Jasmin directive is without the name of the source file