double compilation