workaround bad profile setting of JBOSS_HOME on ctftpjbossdev01