Remove double "compilation-time"