fix names of bytecode compiled files