Just a few build script customizations to make it build in the flake
environment