some updates towards compilation