Progmagic modified, stdlib.cma still not correctly read