Less awkward path handling for {platform}.mk