update to version 3.12