I just noticed this invocation of `oasis`.  There needs to be a dependency in this case on `oasis`, but we would prefer to not do this for every build.  Is the `oasis setup` actually required?