Remove prefix with make

Since you say GNU make, why not just:

$(FILE:a/%=%)

?

You can strip off a leading a/ with

$(FILE:a/%=%)

See the text substitution function reference for more options & details.