Hopefully a fix in stm_library_mk.m4.