Fix new development version, as I messed up the build process