maybe poking the build script will make Jenkins happier?