FIX: wrong file name in compilation script