the instructions from https://wiki.lineageos.org/devices/FP4/build/ did not just work…