bashrc: another try to fix fix_java