CI and binary compilation