This leads to misleading CI runs that mark the configure step as successful and then the build step fails because the build directory doesn't exist.
However, this is not a huge problem, and our goal in the long run is probably to get rid of this script.