better fixes would be adding them to the generic (included) Makefile or building the really device independent stuff in a _generic library
better fixes would be adding them to the generic (included) Makefile or building the really device independent stuff in a _generic library