Build redstone as part of src/