handle srclib properly in diy_compile.php