Recompilation is allowed in std