Mostly to make CI happy. Part-of: <https://gitlab.postmarketos.org/postmarketOS/pmaports/-/merge_requests/9094>