double compilation is now working