Another build instruction tweak